Analogical program derivation based on type theory
نویسندگان
چکیده
منابع مشابه
Program Derivation in Type Theory: A Partitioning Problem
Martin-LL of's type theory is a theory in which one can write both specii-cations and programs. By interpreting propositions as types, predicate logic is available when formulating a speciication. The rules of type theory are formulated as tactics which makes a top down construction of programs possible. These ideas are illustrated by a formal derivation of a program for a partitioning problem.
متن کاملtranslation of collocations from english into persian, based on ghazalas theory
غزالا همایندها را به صورت ترکیبی از دو یا چند واژه که همواره در متون مختلف زبان ها همراه با هم می آیند تعریف می نماید. از دیدگاه او روند رو به رشد میل به ترجمه ی همایندها در مطالعات ترجمه، به دلیل اهمیت آنها در انسجام ساختار زبان است. این پایان نامه اساسا به ترجمه ی همایندها منحصر شده است. هدف آن بررسی کاربرد راهکارهای غزالا در مورد ترجمه ی همایندها از انگلیسی به فارسی است. هدف دیگر آن یافتن پر...
15 صفحه اولThe effect of an interventional program based on the Theory of Ethology on infant breastfeeding competence
Introduction: according to the ethology theory mother infant separation immediately after birth can interfere with the infants innate behaviors for the initiation of breastfeeding. The aim of this study was to the effect of an interventional program based on the Theory of Ethology on infant breast feeding competence Materials and Methods: 114 primiparous, Iranian, healthy, full term mothers bet...
متن کاملInteractive program derivation
Declaration This dissertation is the result of my own work and includes nothing which is the outcome of work done in collaboration. This dissertation is not substantially the same as any I have submitted for a degree, diploma or other qualification at any other university. i ii Acknowledgements I should like to thank my research supervisor, Dr Lawrence Paulson, for the freedom he allowed me in ...
متن کاملStepwise Program Derivation
Our understanding of the program derivation process has evolved to the point where it can be described in terms of a clearly defined sequence of steps. In this paper, we will identify those steps and show how they may be used to derive programs from formal specifications. In describing the program derivation process we will focus on two things, its broad structure, and some detail for each of t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1993
ISSN: 0304-3975
DOI: 10.1016/0304-3975(93)90004-d